منابع مشابه
Work it, wrap it, fix it, fold it
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different correctness conditions. In this paper we show how these two approaches can be generalised in a uniform manner by combining their correctness condition...
متن کامل0 Work It , Wrap It , Fix It , Fold It
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance, without compromising their correctness. The two previous approaches to formalising the technique were based upon different recursion operators, and different correctness conditions. In this article we show how these two approaches can be generalised in a uniform mann...
متن کامل1 Work It , Wrap It , Fix It , Fold It ( Extended
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different correctness conditions. In this article we show how these two approaches can be generalised in a uniform manner by combining their correctness conditi...
متن کاملWork It , Wrap It , Fix It , Fold It ( Extended
The worker/wrapper transformation is a general-purpose technique for refactoring recursive programs to improve their performance. The two previous approaches to formalising the technique were based upon different recursion operators and different correctness conditions. In this article we show how these two approaches can be generalised in a uniform manner by combining their correctness conditi...
متن کاملDon't dump the didactic lecture; fix it.
Numerous articles have been published on the merits of active learning, and collectively they present a body of compelling evidence that these methods do enhance learning. In presenting arguments for active learning, it is often suggested that the traditional didactic lecture is more passive in nature and less effective as a teaching tool. However, a well organized lecture remains one of the mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Queue
سال: 2019
ISSN: 1542-7730,1542-7749
DOI: 10.1145/3380774.3380780